Algebraic and logical semantics for CLP languages with dynamic scheduling

Blended Algebraic and Denotational Semantics for Adt Languages with Mutable Objects Blended Algebraic and Denotational Semantics for Adt Languages with Mutable Objects

Syntax: P 2 Program TD 2 Type-Declaration T, S, U 2 Type-Name MD 2 Method-Declaration F* 2 Formal-List F 2 Formal B 2 Body D 2 Declaration E 2 Expression g 2 Method-Name E* 2 Expression-List C 2 Command M 2 Main I 2 Identi er N 2 Numeric-literal P ::= TD MD M TD ::= j type I fields ( F* ) j TD1 ; TD2 FD ::= j I : T j FD1 ; FD2 T ::= I MD ::= j method I ( F* ) : T f B g j MD1 ; MD2 F* ::= j F F*...

On the Semantics of Optimization Predicates in CLP languages

The Constraint Logic Programming systems which have been implemented include various higher-order predicates for optimization. are implemented by using branch and bound algorithms. In CLP(R) systems, the Simplex algorithm used for satissability checks can also be used for linear optimization through the predicate rmin(f(X)) which adds to the constraints on X the ones deening the space where the...

Algebraic Semantics of Domain-Specific Languages

Algebraic Semantics of Object-Oriented Languages

We develop an algebraic semantics of a sample core object-oriented language aggregating basic object-oriented features. We transform programs into differently structured algebraic specifications thereby maintaining the program’s object-oriented structure. The semantics of these specifications, viz algebras, serve as a semantics for core object-oriented concepts. Static aspects are captured by t...

Simulating Algebraic Specification Genericity on Languages with Initial Semantics

This paper discusses the concept of genericity often used in algebraic specification languages and how this concept can be simulated in a meta level in languages with purely initial semantics, as it is the case for ELAN and ASF+SDF. This proposal is being integrated into the FERUS tool, in development for ELAN, and will have the effect of providing in the meta level better modularity features w...